SHA256 (r5rs.txi) = M3OkzHzruTHe04ErGRAJW1uKh9H4WLkTkmk9xqlmXOg=
SIZE (r5rs.txi) = 256751
